}
}
+#ifdef CONFIG_HVM
#if GUEST_PAGING_LEVELS == 3
static DEFINE_PER_CPU(guest_va_t,trace_emulate_initial_va);
static DEFINE_PER_CPU(int,trace_extra_emulation_count);
__trace_var(event, 0/*!tsc*/, sizeof(d), &d);
}
}
+#endif /* CONFIG_HVM */
/**************************************************************************/
/* Entry points into the shadow code */
.shadow.guess_wrmap = sh_guess_wrmap,
#endif
.shadow.pagetable_dying = sh_pagetable_dying,
-#endif /* CONFIG_HVM */
.shadow.trace_emul_write_val = trace_emulate_write_val,
+#endif /* CONFIG_HVM */
.shadow.shadow_levels = SHADOW_PAGING_LEVELS,
};
int (*guess_wrmap )(struct vcpu *v,
unsigned long vaddr, mfn_t gmfn);
void (*pagetable_dying )(paddr_t gpa);
-#endif
void (*trace_emul_write_val )(const void *ptr, unsigned long vaddr,
const void *src, unsigned int bytes);
+#endif
#endif
/* For outsiders to tell what mode we're in */
unsigned int shadow_levels;